Is the Red Brigade still around??
I was considering the same thing as I read this. I think they also went by the term Red Army Faction. They hated Americans.