DeSantis says he would eliminate four federal agencies [the Departments of Education, Commerce, and Energy, and the IRS] if elected president