Pentagon says Grok used to launch missiles at Iran