Correctly labeled with official_name:en-US=Gulf of America

Please see https://community.openstreetmap.org/t/gulf-of-america-gulf-of-mexico/124571 and https://wiki.openstreetmap.org/wiki/Gulf_of_Mexico 