buckingham palace has announced the death of his royal highness the duke of edinburgh