I work for Postal Service.Will not get it off (dist ctr). We “got” a day of mourning off for Pres Bush but while offices were closed and no mail delivered, we had a normal day with only a handful of senior people getting it (I have 32 years, didn’t get day off).However we have a pd day of mourning that we can take sometime in next 6 months.Same thing when Reagan and Ford died.