“J.D. Vance estimates the value of frozen Iranian assets to be between $100 billion and over $200 billion, with most funds held outside the United States.”