Google said the name changes, which also includes using Mount McKinley, will happen when Geographic Names Information System (GNIS) is updated.

Google will rename the Gulf of Mexico and Alaska's Denali on its maps for users in the U.S. following President Trump's controversial executive order.

The tech giant revealed the reasons behind the proposed changes on social media after receiving questions from users.

Sheinbaum made the case that Google should not bend to “the mandate of a country” attempting to change the name of an international sea. “For us it is still the Gulf of Mexico, and for the entire world it is still the Gulf of Mexico,” she said.

The U.S. government is already working to remove all mentions of the Gulf of Mexico name in the Geographic Names Information System (GNIS).

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

President Donald Trump wants to rename Denali and the Gulf of Mexico to Mount McKinley and Gulf of America, and Google said it would update its maps if it happens.

The state of Alaska requested the name change in 1975, but the Board on Geographic Names didn’t take action. Members of the Ohio congressional delegation – President William McKinley was from Ohio – objected over many years to requests to rename the mountain, and the board did not act on those requests.

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.

Claudia Sheinbaum sent a letter to Google asking the company not to comply with Trump's order to rename the Gulf of Mexico and explained why.