The system's new description for the Gulf, an ocean basin that shares nearly equal lengths of shoreline with the U.S. and Mexico, reads: "The Gulf of America, formerly known as th

Google Maps now labels the Gulf of America for U.S. users, and the Gulf of Mexico for those in Mexico. This isn't the first body of water to have different names according to different countries.

Google's renaming of the Gulf of Mexico comes weeks after President Donald Trump issued an executive order to rename it to the Gulf of America.