Successful liver transplantation in a patient with splanchnic vein thrombosis and pulmonary embolism due to polycythemia vera with Jak2v617f mutation and heparin-induced thrombocytopenia.