CREATE TABLE table_15873547_1 (mascot VARCHAR(255), colors VARCHAR(255))
What is the mascot with the colors green and navy?
    
SQL: SELECT mascot FROM table_15873547_1 WHERE colors = "Green and Navy"