how many students are enrolled at navy?
4,576