جزئیات بزرگداشت «شهید نصرالله» در خرم‌آباد؛ مراسم کجا برگزار می‌شود؟