Florida manatee deaths: What can be done?