حکومت نظامی در اردو سرخ‌ها؛ پرسپولیسی‌ها قرنطینه شدند