“The KOSPI index declined by 6% on the morning of June 10th.”