in action against an armed enemy in Korea