ورزشگاه ۱۵ هزارنفری خرم‌آباد به نام شهدای لرستان نام‌گذاری شد