Outside of the US, Google users will see both Gulf of Mexico and Gulf of America listed at the spot on the map.