Don’t write off the Department of Government Efficiency