A lead Treasury official suddenly quit after Elon Musk sent "engineers" into the agency to figure out ways to halt funds for ...