Following the US assassination of a high-ranking Iranian commander