Leticia Carvalho heads a global authority that’s been struggling to set rules for a decade. President Trump’s aggressive push on ocean mining makes her task more urgent.

© Natalie Keyssar for The New York Times