Text this: Provide for the reimbursement of certain civilian employees of the naval operating base, Hampton Roads, Va., for tools lost in fire at pier No. 7, at naval operating base, on May 4, 1930.