After President Trump issued an executive order renaming the Gulf of Mexico as Gulf of America, some digital maps quickly made the change, at least for U.S. users. It wasn’t the first time that mapping companies have had to update a disputed name https://restofworld.org/2025/gulf-of-mexico-america-google-maps