 Chris, one of the protesters in Kenya. This US election cycle has so far been devoid of any major shocks, given that a Joe Biden-Donald Trump rematch was seen as inevitable. But the great unknown is who Donald Trump will pick as his running mate. So who might it be? What's driving the choice? The BBC's Neda Tawfiq has been taking a look at some of the rumoured leading contenders.