Liu Zhen (nordkoreanisch, geb. )