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.