Employees. Additional civilian civil-service employees in Navy Department.