what was the name of the war that the north korea was involved in?
(AND military.war (JOIN time.event.included_in_event (JOIN (R military.military_combatant_group.conflict) (JOIN military.military_combatant_group.combatants m.05b7q))))