مراسم تشییع و تدفین پیکر شهید «علی بداق» در خرم‌آباد برگزار می‌شود