Summer 1833 was a time of cholera in Columbus