user: Question: What is the mascot with the colors Green and Navy?
Columns: ['Residence Hall', 'Sex', 'Established', 'Rector', 'Campus', 'Capacity', 'Colors', 'Mascot']
Types: ['text', 'text', 'real', 'text', 'text', 'real', 'text', 'text']
Sample row: ['Alumni Hall', 'Male', 1931.0, 'Rev. George Rozum, C.S.C.', 'South Quad', 246.0, 'Green and White', 'Dawgs']
SQL:

assistant: SELECT "Mascot" FROM "Table" WHERE "Colors" = 'Green and Navy';