Pentagon reveals Musk’s Grok AI used in Iran war