Of course it's named "Gulf of Mexico".
Don't falsify history !

« The name "Gulf of Mexico" has been the most common name since the mid-17th century »

Or, if it really has to be renamed ...