Senior U.S. official on North Korea’s missiles.