A Short History of the Korean War