nautical charts, and legal documents—a monumental task requiring international cooperation. The name ‘Gulf of Mexico’ has been in use for over 400 years. Historical maps dating back to the ...