If it's the person I'm thinking of, they didn't take down best korea's internet, they DDOSed a couple of externally facing sites. Like not even anything a korean citizen would use, they just blocked foreigners from seeing press releases and tourism information.