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.