The top official's departure is the latest in a wave of exits of senior officials whose agencies have come into the crosshairs of Elon Musk's Department of Government Efficiency.| NBC News