Surgery

Left-sided portal hypertension is best treated by -