Is Trump reining in Musk after a cabinet showdown with secretaries?

The president intervenes in a cost-cutting row after a reported clash at the White House.