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