. . "Lake of Davis County, Utah" . . .