“Ayatollah Khomeini and many other senior Iranian leaders have been killed in recent military operations.”