Will there be a bank holiday for Prince Philip’s funeral?