The change will be visible in the U.S., but the name will remain Gulf of Mexico in Mexico. Outside of the two countries, users will see both names on Google Maps.