It would be sensible to wait until the dust has settled before judging whether the US strikes on Iran were, in Donald Trump's, words, "a spectacular military success".