NBC: Ron DeSantis says he would eliminate four federal agencies if elected president