>More than 1/3 of the Tor servers are run by US Federal Govt

Source? People repeat this claim and nobody every provides evidence.