Explanation

Hawasong 17 is the missile model associated with recent reports of North Korea's testing. Hawasong 15 is a different missile variant. Hawasong 12 and Hawasong 16 are other named missiles that do not match the specific test mentioned.