Elon Musk, the billionaire tasked with making the US government more efficient come January, has zeroed in on the Federal ...