"Lake of Carbon County, Utah" . . . . . .