Departamento de Defesa dos EUA fecha contrato com empresa de IA de Musk, desafeto de Trump – O Globo