Implications of portal vein thrombosis after splenectomy for patients with idiopathic portal hypertension