he can call it whatever he wants. The rest of the world will still call it the Gulf of Mexico and trump can't do anything about that.