What is the name of the institution with the mascot of blue devils?
create table table_12434380_1 (institution varchar, mascot varchar, PRIMARY KEY (institution))
select institution from table_12434380_1 where mascot = "blue devils"