Out of any money in the Treasury of the United States not otherwise appropriated, there is hereby appropriated $100,000,000 for fiscal year 2018 to carry out this division.