MIAMI (AP) — Michael Waltz wins Republican primary for seat currently held by gubernatorial candidate Ron DeSantis .