Prince Philip has died