Korea Exchange: Over 8% Kospi Drop Triggered 20-Minute Halt to Trading