S. Korea’s KOSPI slides on profit-taking after AI rally; trade briefly halted