Hard to tell if this is good or bad news. On one hand, Trump is less likely to start World War III over a missile that doesn't work. But the other crazy dictator with a bad haircut has lost face.  What will he do to get back said face? It probably won't be a good thing.