Musk’s Grok AI tool helped guide US strikes on Iran, legal briefing shows The Times of Israel