How many people have escaped north korea.