Den sørkoreanske indeksen har blitt shortet.