. . . . "Lake of Jefferson County, Washington" . .