韩国短暂暂停 KOSPI 市场程序化交易。