Hello,
There's actually a discussion going on about how best to name this in https://community.openstreetmap.org/t/gulf-of-america-gulf-of-mexico/124571/43 - I'd suggest joining that.
Best Regards,
Andy
