Public [joint] resolution 20-26, 73d Congress. Columbus day. H.J.Res. 10, joint resolution requesting the President to proclaim Oct. 12 as Columbus day for observance of anniversary of discovery of America.