Tributes to former US president George HW Bush

Former presidents and leaders pay tribute to George HW Bush, who has died aged 94.