During President Trump’s first week back in the White House, Elon Musk’s Department of Government Efficiency identified an early focus of the cost-cutting operation: canceling leases for federal buildings that were considered underused. Mr. Musk’s team