That was the stated policy of the leaders that Trump killed during the first wave of attacks. We don't know what the policy is of the IRGC.