but it changes regularly (see https://www.openstreetmap.org/node/305639190). How the map providers deal with this tag is up to them. There's actually a huge discussion how to deal with this. It's... complicated:
That sounds reasonable. name:en is still "Gulf of Mexico". That way I suppose the app can choose whether to use the general English or US-specific name.