Sheffield, W. P. Report amending by substitute H. 4306, to make October 12th in each year public holiday in District of Columbia, to be called Columbus day.