Google will rename the Gulf of Mexico and Alaska's Denali on its maps for users in the U.S. following President Trump's controversial executive order.

Google said the name changes, which also includes using Mount McKinley, will happen when Geographic Names Information System (GNIS) is updated.

This comes after President Trump signed an executive order on Inauguration Day that ordered the name Mt. McKinley be reinstated and the Gulf of Mexico be renamed.

While the Gulf of America will be applied to federal references, other nations will not be required to recognize the name.

Google announced on Monday that its online mapping platform, Google Maps, will change the name of the Gulf of Mexico to the Gulf of America for users in the US. Additionally, Google Maps will change the name of North America’s tallest peak,

Trump also renamed Denali, North America’s tallest peak, as Mount McKinley, despite objections from Alaska’s senators.

Google said on Monday that it will change the name of the Gulf of Mexico to “Gulf of America” in Google Maps once it is updated in the U.S. Geographic Names System. Google Maps will

President Donald Trump said the Gulf of Mexico will be called the Gulf of America, while the Denali mountain peak will revert to its former name, Mount McKinley.

Google is planning to update Google Maps to show the Gulf of America, after President Trump's executive order which renames the Gulf of Mexico. Here's when that will happen.

As part of a torrent of decisions he issued hours after taking office, President Donald Trump declared that the name of America’s tallest mountain be changed from Denali to Mount McKinley, and that the Gulf of Mexico be renamed “The Gulf of America.”

Oklahoma public schools will be among the first to adopt President Trump's new names for the Gulf of Mexico and Alaska's Denali, America's highest mountain