Работник скончался 9 мая, а последним его рабочим днем было 5 мая. Каким числом оформить его увольнение? Какой датой оформить приказ и внести запись в трудовую книжку, если 9 мая — нерабочий день?