Legislation needed to withdraw public land near park from mining