CREATE TABLE table_12434380_1 (institution VARCHAR(255), mascot VARCHAR(255))
What is the name of the institution with the mascot of blue devils?
    
SQL: SELECT institution FROM table_12434380_1 WHERE mascot = "Blue Devils"