Look treasury can ban Bitcoin addresses and then make tumbler not accept incoming money from certain addresses. But if they haven’t done it they cannot go retroactively say tornado cash laundered North Korean money. If the address was obviously North Korean treasury should have banned it.