The change will be visible in the U.S., but the name will remain Gulf of Mexico in Mexico. Outside of the two countries, ...