Gravel mining was endangering the creek.