Devascularization operation for upper gastrointestinal rebleeding after partial splenic embolization in portal hypertensive patients