Explanation

Hawasong 17 is the missile model associated with North Korea's recent tests. Hawasong 15 is a different missile designation. Hawasong 12 and Hawasong 16 are not the correct designations for the recently tested ICBM.