Google, Oracle, Microsoft and Amazon will share in the Pentagon’s $9 billion cloud contract