Which result was a consequence of the Korean War?