After U.S. President Donald Trump issued an executive order renaming the Gulf of Mexico as Gulf of America in January, some digital maps quickly ... to update a name. Around the world, many ...