Splenic metastases in patients with portal hypertension