A fairly powerful earthquake in Korea, which did substantial damage, seems to have been caused by fracking.