Trump on DeSantis: I’d beat him in 2024