The revolt of military settlers in cholera in 1831.