Trump spent months thrashing Ron DeSantis. Now he's put his onetime protégé on his VP shortlist.