NBC: High-ranking DOGE official and Elon Musk ally, Antonio Gracias, has left government