Decorations of honor. Extend time for awarding decorations to participants in World War, report to accompany H.R. 7257 [authorizing President of United States to extend time for awarding decorations to participants of World War]; submitted by Mr. Thompson of Illinois.