Charles Dimmock — civil and military engineer (1800-1863)