No cholera on cruise ship off Mauritius