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