I don't see why this is a problem. Any private service today can host CIA, NSA 's service. You'd think herkou is not used by NSA, digital ocean or Aikamia or Cloudflare are not used by government agency? If Tor has been used by the FBI and the police for years to take down criminals, why is this news surprising? Building a cloud for CIA is also like CIA using the public cloud infrastructure anyway. It probably relies on the same technology, except, with a strict firewall access control sits in front of the proxy.
To make my point clear: business is business.