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