As far as I can tell, none of them are actually doing it right? The presidential order to rename the Gulf of Mexico was just for the portion of it that’s considered part of the US. The rest of it is supposed to still be called the Gulf of Mexico.