Home Editor's Pick House votes to make Trump Gulf of America name change permanent