The board voted to change the name and took its request to the county commissioners. When the county agreed, the request was then sent to the Minnesota Department of Natural Resources, which made it official for Minnesota. Then, the state of Minnesota sent the request to the Board on Geographic Names, which made it official for the entire U.S.

Google will rename the Gulf of Mexico as the Gulf of America and restore Denali in Alaska, the highest peak in North America, to its previous name, Mount McKinley.

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 said the name changes, which also includes using Mount McKinley, will happen when Geographic Names Information System (GNIS) is updated.

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

Google Maps will rename Gulf of Mexico to 'Gulf of America' and Mount Denali to 'Mount McKinley,' after federal approval. Here's what to know.

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.

It is the firm's "longstanding practice" to observe updates from official sources - in this case requested by Donald Trump.

Google will rename the Gulf of Mexico and Alaska's Denali mountain in Google Maps once a federal mapping database reflects changes ordered by the Trump

Is Google Maps changing the name of the Gulf of Mexico to the Gulf of America? - Only Google Maps users in the US will see the name change

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.