گزینه‌های سرمربیگری پرسپولیس؛ کریم باقری یا یک مربی خارجی؟