Title: Scheduling a three supply ship replenishment operation