DeSantis suggests he would eliminate several federal agencies, including IRS