Across the United Kingdom, in Gibraltar and on Her Majesty’s Ships at sea at noon today a Gun Salute was fired to mark the death of His Royal Highness The Duke of Edinburgh.