“The Treasury Department paid.....”. Who cut the check? It’s obvious even low level clerks knew about it.
There’s a huge paper trail......the Treasury doesn’t write checks anonymously.