Obviously orange man bad, but it would be awesome to see Trump do to DeSantis what he did to Jeb and Rubio.