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.
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.
Googles CEO Sundar Pichai was among the tech titans who attended Trumps inauguration.
A federal judge has yet to rule.