Stav dette: Optimal harvest schedule for maricultured shrimp /