It's certainly a more proper name, because it's as much the Gulf of Texas, Florida, or even Cuba, as much as of Mexico.

Gulf of North America would have been better.👍