Splenectomy after portal thrombosis in patients with polycythemia vera and essential thrombocythemia.