Can Republicans actually change the name of the Gulf of Mexico?

It's unclear just how much effort Donald Trump will invest in renaming the Gulf of Mexico, but a related question hangs overhead: Is this even possible?