Synonym:—Cholera nostras.