U.S. tried Stuxnet-style campaign against North Korea but failed