Since ancient times, knowing the depth of coastal waters has been key to safe and successful navigation and to exploit the sea's resources. Today, bathymetry—the measurement of sea depth—is even more ...