Google says it will rename the Gulf of Mexico on its U.S. maps, and Mexico is pushing back. This wouldn't be the first body ...

“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. That applies here too.” The ...