Here is a definition for North Korea's top two leagues and National Cup with a Korean name set.
I've merged the DRPK Divisions 2 and 3 for playability as there is no information on which teams are in which league.
There are the following DPR Korea Championship, Mangyongdae Prize, Paektusan Prize, Pochonbo Torch Prize and Osandok Prize competitions but information is practically non-existant for an accurate structure so I haven't included them.