Prince Philip, The Duke of Edinburgh, has died