Richard Baris: DeSantis shouldn’t run