South Korea’s weather agency says a small earthquake detected in North Korea was likely caused by a mining operation.