The military history of the Korean War