hade den gul flagga hissad , emedan före fartygets ankomst till Gibraltar kolerafall inträffat ombord.