“The leadership of the Iranian regime is largely drawn from the Islamic Revolutionary Guard Corps.”