Cholera nomenclature and nosology: a historical note.