Heraldo de Madrid - Elon Musk's xAI inks Pentagon deal for contentious Grok chatbot