CREATE TABLE table_20363 ("Residence Hall" TEXT, "Sex" TEXT, "Established" FLOAT, "Rector" TEXT, "Campus" TEXT, "Capacity" FLOAT, "Colors" TEXT, "Mascot" TEXT)

What is the mascot with the colors green and navy?
SELECT "Mascot" FROM table_20363 WHERE "Colors" = 'Green and Navy'
SELECT "Mascot" FROM "table_20363" WHERE "Colors" = 'Green and Navy'