韩国交易所对 KOSPI 指数启动暂停程序化交易机制。