KOSPI fell ‌as ⁠much as 6.13% to
hit the lowest ⁠since May 20 and trigger a “sidecar” trading
curb, temporarily halting algorithm trading