North Korean military personnel killed in the Korean War