They didn’t rename anything. The United States government doesn’t have the ability to rename any body of water just because it wants to.
Can we please not entertain this?
Who cares if the Republicans posted the law it is the Gulf of Mexico and it will remain so.