Google said Monday its maps will use names for Denali and the Gulf of Mexico favored by President Donald Trump — Mount McKinley and Gulf of America — when federal maps make the switch.

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

President Donald Trump's executive order to rename the Gulf of Mexico and Alaska's Denali, the tallest peak in the country, has resulted in lots of discussion. While for some, such renaming might seem less important than the big problems the country faces,

Evan Vucci/AP The U.S. Board of Geographic Names typically has the jurisdiction for geographic names. The Gulf of Mexico is one of ... While referring to a weather system that could impact the ...

Google says it will take its cue from the U.S. government if it has to change the names of the Gulf of Mexico and Denali on its maps.

President Donald Trump wants to rename Denali and the Gulf of Mexico to Mount McKinley and Gulf of America, and Google said it would update its maps if it happens.

Google on Monday said its maps will use names for Denali and the Gulf of Mexico favored by President Donald Trump — Mount McKinley and Gulf of America — when federal maps make the switch.

The company said Monday that it will only make changes when the government updates its official listings for the body of water and the mountain.

Google Maps said it would change the name of the Gulf of Mexico to Gulf of America once it is officially updated in the U.S. Geographic Names System.

Google Maps will rename the Gulf of Mexico to the Gulf of America and Mount McKinley to Mount Denali following President Trump's executive order last week. The name change will occur once the Geographic Names Information System (GNIS) is updated,

The change will only be visible to U.S. users. Those in Mexico will still see “Gulf of Mexico,” while those in the rest of the world will see both names on the map.