Gulf of Mexico vs. Gulf of America: How digital maps display disputed names

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 made …