Dredging at Green Lake, ca. 1937