What nation does he currently lead? This article is about CURRENT national leaders, not wished for/wanted leaders.
He’d be a good choice, were he actually IN the White House.
Ted Cruz