Who, exactly, runs the so-called Department of Government Efficiency?

You might think it would be Elon Musk, the man who President Trump said “will lead the Department of Government Efficiency” alongside Vivek Ramaswamy, before Mr. Ramaswamy stepped away from it last month.