Gulf of Mexico is what it has been called so it makes no sense to rename it. Names often dont make sense plus spain and later mexico used to control more territory along the Gulf coatline. Unless you want to piss of one of our most important allies for no reason