Should Monday be a public holiday to mourn the queen?