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

As reported by the Senate Select Committee on Intelligence on May 22, 2019