Our world relies on the sea more than ever: 80% of goods traded worldwide move by ship. Today’s mariners take it for granted that they can get an accurate chart of the tides for any location on Ear…