The military already has access to Grok, but doesn't want it, because it's an inferior model, even compared to open source ones. So the military would probably choose to replace supply chain risk Claude with Qwen or Kimi before Grok.
Which exactly is best changes on almost a weekly basis as different companies tweak their best model. I doubt the military would want to be switching supplier every week.