پیکر مرحوم آیت‌الله هاشمی‌شاهرودی غسل داده شد