North Korea Launches a Missile but Avoids Crossing a Red Line