It is with deep sadness that we have learned of the death of His Royal Highness, the Duke of Edinburgh.