Ejército Popular de Corea
The 4th Infantry Division was a military formation of the Korean People's Army during the 20th Century.