In compliance with an executive order signed by former President Donald Trump, Google has renamed the Gulf of Mexico to “Gulf of America” for users accessing Google Maps in the United States. While this change only applies to the US, users in Mexico will continue to see the original name, and others around the world