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 has announced plans to update the names of two major geographical landmarks on its Maps platform for users in the United States. The tech giant will rename the Gulf of Mexico to the “Gulf of America” and revert the name of North America’s highest peak,