Portal vein thrombosis after splenectomy for gastric malignant lymphoma