Columbus day, hearing on H. 4306 [to make Oct. 12 in each year public holiday, to be called Columbus day, and] H. 5696 [making 12th of October in each year legal holiday], Apr. 19, 1910.