i have reverted this edit. This is not what the community has agreed on. Please see https://community.openstreetmap.org/t/gulf-of-america-gulf-of-mexico/124571 and https://wiki.openstreetmap.org/wiki/Gulf_of_Mexico before editing the name of this feature. Undiscussed changes will be reverted.
            ---
            
            Published using OSMCha: https://osmcha.org/changesets/163066760
            