xAI announces 200m US military deal after Grok chatbot had Nazi meltdown