Former President Donald Trump maintains a commanding lead in a hypothetical Republican primary, according to an Oklahoma poll from Amber Integrated released on Wednesday.

The poll asked, “If Donald Trump did decide to run for President in 2024 and the Republican Primary for President was held today, which of the following candidates, listed in random order, would you be most likely to vote for?”

Fifty percent supported Trump in a potential matchup, while the runner-up was Florida Gov. Ron DeSantis at 22 percent. Former Vice President Mike Pence placed third at 6 percent.

The honorable mentions were Sen. Mitt Romney (R-UT) at 4 percent, Sen. Ted Cruz (R-TX) at 2 percent, Nikki Hailey at 2 percent, and Sen. Marco Rubio (R-FL) at 1 percent.

The polling comes after the FBI raided Trump’s private residence at Mar-a-Lago. Since then, Republicans have become highly energized.