What is the mascot with the colors green and navy?
create table table_15873547_1 (mascot varchar, colors varchar, PRIMARY KEY (mascot))
select mascot from table_15873547_1 where colors = "green and navy"