Miami-Erie canal, Montgomery county