¿Aún no han liquidado al gran inversor que está en corto, $JCT ?