KOSPI 200股指期货下跌5%,程序化交易暂停