building of the Lake Washington Ship Canal