The Lake Washington canal problem, concerning whether to build a north or south canal to Puget Sound, ca. 1894