North Korea’s October rocket launches: international reactions