Prince Philip funeral: Sporting world pays tribute

Tributes have been paid across the sporting world on the day of the Duke of Edinburgh's funeral.