12-year-old visits state park, leaves $15,000 richer

The park was called Crater of Diamonds State Park.