Auditoria do TCU aponta economia em contratação da Starlink, de Musk, pelo Exército