President Trump congratulates DeSantis, Scott on primary victories