An international law enforcement operation has taken down ChipMixer, a dark web “mixer” that helped criminals launder over $700 million, Europol and other policing agencies announced on Wednesday. Amongst its users were North Korean hackers and Russian spies, according to the Department of Justice.