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. The company said Monday that it will only make changes when the government updates its official listings for the body of water and the mountain.

Google said Monday its maps will use names for Denali and the Gulf of Mexico favored by President Donald Trump — Mount McKinley and Gulf of America — when federal maps make the switch.

Mexico's President Claudia Sheinbaum said on Wednesday that her government will send a letter to Google after the internet giant said it would change the name of the Gulf of Mexico for users of Google Maps in the United States.