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