韩国交易所因KOSPI 200期货上涨5%，而启动KOSPI的熔断机制，程序化交