If former President Donald Trump wins the Republican nomination for president, GOP voters want to see Florida Gov. Ron DeSantis as his running mate, a new poll shows.

According to a Deseret News/HarrisX poll of registered Republican voters nationally, 18% said DeSantis is their top pick to be Trump’s vice president. He was followed by Vivek Ramaswamy (15%), within the margin of error. The next highest picks were Nikki Haley (12%) and Tim Scott (9%).

Among all voters, regardless of party affiliation, Haley (16%) is the top pick, followed by DeSantis (10%) and Ramaswamy (8%).