King’s departure is the latest in a wave of exits from senior officials whose agencies have come into DOGE’s crosshairs.