Hongkong-børsen stupte med 4,2 prosent