Pentagon rolls out OpenAI ChatGPT and Elon Musk’s Grok to 3 million military, civilian staff