Inside Trump's decision to kill a top Iranian military general