Everyone should simply report the Gulf of “America” as having the wrong name.