The Trump administration has declared that the Gulf of Mexico had been renamed, making good on a campaign promise.