It's almost like the democratically elected Congress gets to decide the name, not the President!

(Spoiler: it's still legally called the Gulf of America)