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 important, playing essential roles in our understanding of marine environments and the development of large marine structures.