Dredging operation for the Seattle and Lake Washington waterway, July 29, 1895