Ocean protections clash with mining pressure in Indonesia's most diverse marine ecosystem