この後、テポドンという名前が世に知られることとなった。