Title: Making October 12 a public holiday
Subjects: District of Columbia, Holidays