Explorers started making navigation charts showing how wide the ocean was more than 500 years ago. But it’s much harder to calculate how deep it is. If you wanted to measure the depth of a ...