韩国暂停KOSPI市场的程序化交易卖单。