It still shows up as Gulf of Mexico on Organic Maps. At least with Openstreetmaps the community can debate the topic while not having to deal with corporate higher-ups who force through the change anyways despite feedback.