Trump announced the Gulf of Mexico would be renamed in January and signed an executive order finalizing the decision weeks later…