Credit: Getty Images/iStockphoto/Eriklam Ocean protections clash with mining pressure in Indonesia’s most diverse marine ecosystem