4200 websites, including U.S. and British government agencies were inserted malware to mine crypto-coins