The Compact History of the Korean War