Trump administration targeted another senior Iranian official when Suleimani was killed — but that mission failed