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

As part of a torrent of decisions he issued hours after taking office, President Donald Trump declared that the name of America’s tallest mountain be changed from Denali to Mount McKinley, and that the Gulf of Mexico be renamed “The Gulf of America.”