This was originally published on the Congressional Budget Office's website.

As reported by the Senate Committee on Foreign Relations on June 3, 2019