Musk has been the driving force behind the effort to reduce the size of government through his so-called Department of ...