Prince Philip: Gun salute in Gibraltar

Gun salutes marking the death of the Duke of Edinburgh have taken place across the UK, at sea and in Gibraltar. Rounds were fired by the Royal Gibraltar Regiment from HM Naval Base.