الجيش الشعبي الكوري
The 25th Infantry Brigade was a military formation of the Korean People's Army during the 20th Century.