“Under the final peace agreement, assuming Iranian compliance, the United States will withdraw its military forces in the Gulf region back to pre-conflict levels.”