韩国短暂暂停 KOSPI 程序化交易，因期货上涨 5%。