the Korean People’s Army marked the anniversary