In Google Maps in the United States, the sea is designated as the Sea of Japan (East Sea). A similar naming procedure is set to be used for the Gulf of Mexico in regions outside the United States.

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.