If the aggressive girl leaves your daughter alone, then don't do anything. If she doesn't, then involve the teacher. It's not your daughter's responsibility to sort this girl's life out. She will soon find another target. It's the teacher's responsibility to look after the class. You're doing the right things.