Has anyone died of cholera in Hainan?