DOJ says 1 Supreme Court precedent irrelevant in Tornado Cash case