While Donald Trump is well within his rights to rename the Gulf of Mexico in federal records, the same cannot be enforced ...