Prince Philip funeral: Will there be a Bank Holiday?

As is the case whenever a member of the Royal Family dies, there are strict plans in place for what happens next.