Musk set out to cut government and managed less than 10% of his goal. Now he's leaving. If Trump needs a guide to fix ...