Coverage from Windsor Castle of the funeral service for HRH The Duke of Edinburgh.