Federal Employees get the day off when a president dies (on day of the funeral).