The world's autocrats, from Vladimir Putin to Xi Jinping, will surely be sleeping a little less easy after the death of Iran's supreme leader in an operation backed by Donald Trump.