Miami Erie canal, downtown Dayton