Columbus day, report to accompany S. 2291 [to make Oct. 12th of each and every year public holiday in District of Columbia, to be known as Columbus day]; submitted by Mr. Saulsbury.