31 U.S.C. § 3127. - Credit to officers, employees, and agents for stolen Treasury notes · Congress.wiki