Please consult with the OSM community on adding alt names to the Gulf.  See https://community.openstreetmap.org/t/gulf-of-america-gulf-of-mexico/124571/177
            ---
            
            Published using OSMCha: https://osmcha.org/changesets/162448624
            