Now Trump Won’t Eliminate Inefficient Agency That Employs 5,500 Bureaucrats