Trump/DeSantis burying the hatchet?