What DeSantis dropping out means for Trump