'Trump killed ...' that statement isn't even semantically correct.
According to my sources the fellow that was taken out wasn't that 'revered leader' but had his boot on the Iranian people & their neighbors.
https://www.telegraph.co.uk/news/worldnews/middleeast/iran/11741235/Obamas-Iran-deal-has-just-granted-an-amnesty-to-the-worlds-leading-terrorist-mastermind.html
The "revered Iranian official" narrative was pushed by WaPo and NYT. It does neither reflect the view of the People of Iran nor the US intelligence.
World War III is cancelled; instead an important domino has fallen.
Prepare to see a revolution in Iran.
imgflip.com/i/3lv1vh