This is what they’re doing. North Korea laundered money via Tornado Cash [1]. Authorities announced it and watched Tornado Cash do nothing. So it got sanctioned. Every other mixer is untouched.
[1] https://www.cnbc.com/2022/06/30/north-korea-likely-behind-10....