Text this: Declaring July 5, 1930, a legal holiday in the District of Columbia.