In the Republican primaries, the mayor of Miami is also running: challenge Trump and DeSantis