海军有多少军校大学生