Cholera orientalis (1831)