Zrealizowano krótką sprzedaż indeksu koreańskiego.