It is often said that humanity has explored outer space more extensively than the depths of the oceans—but a team funded by ...