Geen cholera op cruiseschip: Nederlands gezin zeker nog 12 uur aan boord