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 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 service

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.

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.

The state of Alaska requested the name change in 1975, but the Board on Geographic Names didn’t take action. Members of the Ohio congressional delegation – President William McKinley was from Ohio – objected over many years to requests to rename the mountain, and the board did not act on those requests.

King and many others who live in the mountain’s shadow say most Alaskans will never stop calling the peak Denali, its Alaska Native name, despite President Donald Trump’s executive order that the name revert to Mount McKinley -- an identifier inspired by President William McKinley, who was from Ohio and never set foot in Alaska.

Conrad Anker, Jon Krakauer, Melissa Arnot Reid, and other prominent climbers and guides share their thoughts on the president’s decision to rename North America’s highest mountain

Google says it has a longstanding practice of applying name changes when they have been updated in official government sources.

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.

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 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.

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.