Mark Kelly actually said...
It is all generated by hard-working American taxpayers. It is not generated by the government.
Context
Kelly emphasizes that taxpayer contributions fund government programs, not government revenue.
04/13/2016