Elon Musk’s AI tool Grok was used in strikes against Iran: U.S.