In his first day in office,Donald Trumpsigned an executive order mandating the name change.

Also longstanding practice: When official names vary between countries, Maps users see their official local name.

Everyone in the rest of the world sees both names.

Article image

Gulf of MexicoGoogle Maps

That applies here too.

Mexico, as well as other countries and international bodies, do not have to recognize the name change.

The AP will switch to referring to Denali as Mount McKinley.

Article image

Googles CEO Sundar Pichai was among the tech titans who attended Trumps inauguration.

A federal judge has yet to rule.