Prince Philip: The Duke of Edinburgh has died