The body of water formerly known in the United States as the Gulf of Mexico is now listed for U.S.-based users of Google Maps ...