Five options for Lake Okeechobee reservoir