CREATE TABLE table_204_442 (id DECIMAL, "institution" TEXT, "location" TEXT, "enrollment" DECIMAL, "nickname" TEXT, "varsity\ sports" DECIMAL, "rugby\ since" TEXT, "head coach" TEXT)

how many students are enrolled at navy ?
SELECT "enrollment" FROM table_204_442 WHERE "institution" = 'navy'
SELECT "enrollment" FROM "table_204_442" WHERE "institution" = 'navy'