Gravar-mail: New cholera vaccine is effective among people with HIV