A worldwide effort is underway to chart the bottom of the seas, from coral reefs to miles-deep trenches, by 2030 no less. That is proving no easy matter, as Laura Trethewey recounts in “The Deepest Map: The High-Stakes Race to Chart the World’s Oceans.”