Every other nation on Earth calls it the Gulf of Mexico. Calling it some other nonsense name (it's not even majority in US territorial waters) does users a disservice.

"The review process is tedious" is a non-excuse. It's the largest geographic feature in this quadrant of the globe to receive a name "change" in my memory, and it's highly politicized.