Watch live as the Christmas tree on the grounds of the US Capitol is lit in a ceremony presided by house speaker Mike Johnson in Washington DC on Tuesday, 3 December.