Politico: “Miami-Dade County Republicans overwhelmingly chose Trump over DeSantis to be their presidential nominee in a straw poll the party’s executive committee held this week.”
“Of 65 party members who met in Miami Wednesday night, 53 votes went for Trump. Only five voted for DeSantis.”