the name used since the early part of the 16th century — is now labeled the “Gulf of America.” Alonso Álvarez de Pineda made the first map labeling those waters as the Gulf of Mexico in 1519.

The dispute stems from a decree by U.S. President Donald Trump renaming the Gulf of Mexico within American territorial waters ... A smartphone displays Google Maps that shows Gulf of America ...