Where do you think it came from?
A black budget?
I don’t recall there being some $1 Billion+ allocated for this.