[FlyingEagle]

Oh and:

Senator JD Vance of Ohio made formal inquiry as to whether Sarah Ashton-Cirillo (born Michael John Cirillo) is being funded by the US government or has ties to the US intelligence community.

So the answer QED must be YES.

[Tench_Coxe]

"funded by the US government or has ties to the US intelligence community"

Vance probably has a good idea which branch of that community is involved.