مراسم ترحیم و بزرگداشت آیت‌الله هاشمی شاهرودی در حسینیه امام خمینی