Question: How many students belong to the navy department?
SQL: SELECT COUNT(name) FROM enlist WHERE organ = 'navy'