Though a Justice Department official did not mention the Tornado Cash developer by name, he made many general references to enforcement cases involving similar allegations.
You might also be interested in reading Bitcoin Standard Author Debunks Claims of an Economic Miracle in Argentina.