Relationship between portopulmonary hypertension and splenectomy: Mayo Clinic experience and review of published works: Portopulmonary hypertension and splenectomy