Can Trump change the name of the Gulf of Mexico? Maybe, but it’s not a unilateral decision, and other countries don’t have to go along.