t Double Ditch State Recreation Area.