What residence hall has the vermin mascot?
create table table_15873547_1 (residence_hall varchar, mascot varchar, PRIMARY KEY (residence_hall))
select residence_hall from table_15873547_1 where mascot = "vermin"