Did the North Koreans overreact?