Text this: Making available for national-park purposes certain lands within the proposed Mammoth Cave National Park, Ky.