I wouldn't push for the dog to be put down or anything like that (although I think that is likely the only way to deal with an adult dog that aggressive).
Let the neighbor know you reported the incident and tell them you're worried about the neighborhood kids getting bit.