"Also longstanding practice: When official names vary between countries, Maps users see ... his first run for the White House in 2016, Trump has repeatedly clashed with Mexico over a number ...

With the United States now recognizing the Gulf waters as the “Gulf of America” and not the “Gulf of Mexico,” digital map creators are deciding how best to reflect the name change for their users.