There are authorized to be appropriated to the Secretary for purposes of preparing the reports and exercising other functions to be performed by him under this chapter such sums as are necessary, not to exceed $12,500,000, to remain available until expended. There are authorized to be appropriated to the Secretary such sums as may be necessary to discharge the obligations of the United States arising under section
743
(c)(5) of this title.