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