. . . . "Lake of San Benito County, California" . . .