Didn't the Korean War end in 1953? The short answer is no