Google announced on Monday that it will rename the Gulf of Mexico and Alaska’s Denali mountain in Google Maps. This decision came after the Trump administration issued an executive order changing the names of various American landmarks last week.

According to Google, they are following the executive order by updating their maps with the new names once the federal mapping database reflects these changes. The Gulf of Mexico will soon be known as the “Gulf of America” for U.S. users, while Denali will be referred to as Mount McKinley for global users.

Originally named Mount McKinley in 1917 to honor President William McKinley, the mountain was renamed Denali during the Obama administration in 2015. The decision to change it back to Mount McKinley was made by the Trump administration, despite opposition from some Alaskan senators.

However, not all users of Google Maps will see the Gulf of America. Different countries with contested geographic names will display the official name for their citizens. In Mexico, the name of the gulf will remain as the Gulf of Mexico, as President Claudia Sheinbaum mocked Trump’s suggestion of a new name for the body of water.

Google mentioned that they will implement these changes once the official American naming database, the Geographic Names Information System (GNIS), is updated. As of Monday evening, GNIS still shows the Gulf of Mexico and Denali with their original names.