Mammoth Cave National Park. Establishing minimum area for Mammoth Cave National Park, report to accompany H.R. 4935 [to amend act for establishment of Mammoth Cave National Park in Kentucky]; submitted by Mr. Chavez.