cholera epidemic 1832