Ship canal connecting Puget Sound with Lake Washington