The legislation would make Trump’s renaming of the Gulf of Mexico law and require federal agencies to revise government documents accordingly.