If the GPL [1] got the same government support as trademark law [2], this violation would not be "ongoing". Why doesn't it? Nominally, the law protects both equally.

[1] I won't say "copyright", because if this was about pirated Marvel movies, it absolutely would be getting the same treatment.

[2] $30K Worth of Multimeters Must Be Destroyed Because They're Yellow - https://news.slashdot.org/story/14/03/19/1721253/30k-worth-o...