The change will be visible in the US, but it will remain “Gulf of Mexico” in Mexico. Outside of the two countries, users will see both names.

The Trump administration’s interior department said on Friday it had officially changed the name of the Gulf of Mexico to the Gulf of America, and the Alaskan peak Denali to Mount McKinley.

Google Maps, which is owned by Alphabet’s Google, will make a similar change with Mount McKinley.

US President Donald Trump ordered the name changes as part of a flurry of executive actions hours after taking office last Monday, making good on a campaign promise.

“As directed by the president, the Gulf of Mexico will now officially be known as the Gulf of America and North America’s highest peak will once again bear the name Mount McKinley,” the interior department said in a statement last week.