manually correct some THOMAS IDs: Congress.gov lists more than one person for a district in cases where they should have moved individuals to the senate. The thomas_ids script should not be used until that is fixed.