Columbus Day, proclamation [designating Oct. 12, 1937, as Columbus Day].