Naval petroleum reserves. Supplemental estimate of appropriation for protection of interests of United States in matters affecting oil lands in former naval reserves, [fiscal year] 1942.