Elon Musk’s AI Grok to be used by US military in controversial move