“The amount of frozen Iranian assets reportedly being considered for release is between $20 billion and $25 billion.”