Public property. Proceeds of public property received by War Department [not paid into Treasury].