The recovery of Lake Okeechobee