Title: A linear programming model for naval officer distribution