Microsoft ends China engineers' role in US Defense cloud work