The first task for Musk's Department of Government Efficiency