Trump vs. DeSantis: GOP political rivalry heating up