Title: October 12th to be legal holiday in District of Columbia
Subjects: Holidays