Former President Trump wasn’t on the ballot, but he was one of the winners as the candidate he backed won a GOP primary in a special House election in Ohio’s 15th Congressional District on Tuesday.

And progressive Democrats were the losers, as the well-known contender they were supporting lost to a candidate endorsed by the party’s establishment and the Congressional Black Caucus in a Democratic primary election for a vacant House seat in Ohio’s 11th Congressional District.

“Tonight, Republicans across Ohio’s 15th Congressional District sent a clear message to the nation that President Donald J. Trump is, without a doubt, the leader of our party,” said Mike Carey, the candidate the former president endorsed.

“I could not be more grateful for his support, and I am proud to deliver this win to advance his America First agenda,” Carey, a longtime energy lobbyist and the chair of the Ohio Coal Association, added.

Carey won 37% of the vote, according to unofficial results, far ahead of his 10 Republican rivals in a district that includes parts of southern Columbus and its suburbs, as well as small cities, towns and rural areas in parts of central and southern Ohio.

He will now be the front-runner in November’s general election in the race to fill a seat left vacant after longtime Republican Rep. Steve Stivers stepped down in May to become president and CEO of the Ohio Chamber of Commerce. Trump carried the district by 15 points his 2016 presidential election victory and by 14 points in last November’s reelection defeat.