Trump’s four words as he ordered US strike on Iran that killed Khamenei