Mixed: Many of Iran’s military leaders were terminated in a massive strike in Tehran.