South Korea’s Kospi index sinks more than 9%, triggering a trading halt, on heavy selling of chipmaking stocks