Jihokorejský index byl prodán na krátkou pozici.