Microsoft has shown that it is willing to work with just about everybody for the right price. If they are more than happy to make a custom windows 10 build for the Chinese government and military why would they not offer the same thing to the US military?