Se ha vendido en corto el índice de Corea.