Title: The naval officer assignment problem