Ethereum (+tokens) that go through Tornado Cash are "tainted" and sometimes censored [1]. This means not all Ethereum are equal.

Btw, calling Tornado Cash a "DPRK tool" is disingenuous. It's a privacy tool.

[1]: https://www.mevwatch.info/