Their agenda: Trump has named the world’s richest person, Elon Musk, to lead a cost-cutting effort dubbed the “Department of ...