A 65-year-old man is evaluated in the emergency department for a 3-day history of abdominal pain. The pain began acutely and is constant. Medical history is remarkable only for a 4-month history of generalized progressive pruritus without a skin rash. He does not drink alcohol or smoke cigarettes and has no risk factors for chronic hepatitis. He takes no medications.

On physical examination, vital signs are normal. He has a plethoric complexion. Cardiopulmonary examination is normal. Tender hepatomegaly and splenomegaly are present.

Laboratory evaluation discloses erythrocytosis, leukocytosis, thrombocytosis, and markedly elevated serum aminotransferase levels.

Abdominal ultrasonography reveals hepatomegaly, splenomegaly, ascites, and a lack of blood flow in two of the hepatic veins, compatible with Budd-Chiari syndrome.

Which of the following is the most appropriate diagnostic test to perform next?