Table schema:
CREATE TABLE table_12434380_1 (institution VARCHAR, mascot VARCHAR)

Question: What is the name of the institution with the mascot of blue devils?
SQL: SELECT institution FROM table_12434380_1 WHERE mascot = "Blue Devils"