> Any credible source for this?

For tens of thousands? No. That’s the upper end of estimates. For the brutality? Yes. Wikipedia is a good start.