That's just a question of which map the model consumes, or you look at.

Mexico is going to call it Gulf of Mexico, and international maps may show either or both, or even try to sub-divide the gulf into two named areas. The only real "standard" is if the countries bordering a region can't agree on the name, all names are acceptable.