Title: An algorithm for scheduling a ship's force during a shipyard overhaul