Below is the list of tables from the database along with their columns and datatype. Need to generate an accurate SQL query for the question.
Only use the columns present in the respective table. Only use the columns which are required to generate the SQL query. Only use table joins if required and not otherwise.

### Tables ###
TABLE: CREATE TABLE table_15873547_1 (residence_hall VARCHAR, mascot VARCHAR)

### Question ###
What residence hall has the vermin mascot?

### Accurate SQL ###

SELECT residence_hall FROM table_15873547_1 WHERE mascot = "Vermin"