So was Trump being inclusive or exclusive when he renamed the Gulf of Mexico to the Gulf of America?