Correct.
Also this is a very politicised name change. Ergo, in the USA it will be embraced by supporters of the orange one, whilst everybody else in the USA will continue to call it "Gulf of Mexico".
As this was clearly done to stir up controversy, I can't think of anything more ridiculous. The job of a head of state is to unite a people, not divide them.