After the warning from Iran’s Revolutionary Guards Corps, Gulf producers have evacuated multiple sites.