9. cholera ázijská