They knew already that Iran might not belly up just because their leadership gets killed. And they knew very well how Iran is fighting (in the mountains) and that they will close the strait of hormuz
Trump overruled it. He thought it was as easy as venezuela and he might have assumed that the civil unrest helps.