韩国短暂暂停KOSPI市场程序化交易，此前韩国股市大幅反弹。