Update: Industry reacts to robbery of Dutch tourists