WashPost Laments 'Lost' Inauguration Day Holiday for Federal Employees in D.C.