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.
Vance probably has a good idea which branch of that community is involved.