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.

it appears as “Sea of Japan (East Sea)”. The Google Maps announcement about the upcoming changes related to the Gulf of ...

The Gulf of Mexico is far from the only contentious ... the East Sea by neighboring North and South Korea. Google Maps labels it the Sea of Japan for Japanese users, the East Sea for South Korean ...

“People using Maps in the U.S. will see ‘Gulf of America,’ and people in Mexico will see ‘Gulf of ... South China Sea or West Philippine Sea China, Vietnam, the Philippines, Malaysia ...

After announcing it would be renaming the Gulf of Mexico as the Gulf of America, Google has officially changed on its Maps application.