1872年明治3年寺尾堀開削 について知っていることをぜひ教えてください