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,

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