Which of these two canals was built first: Junction Canal or Duluth Ship Canal?