North Korean-linked cyber hackers have laundered $13 million worth of ether this week through sanctioned crypto mixer Tornado Cash, data from blockchain analytics company Elliptic shows.