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