No tenemos la biografía de Choi Jung-in.