Google have pulled out because of differences to their 'values' and lack of required certs and now IBM are griping.
https://www.theregister.co.uk/2018/10/09/google_jedi_drops_out/
...Maybe the Pentagon should/could build their own cloud environment and secure it themselves..