مراسم عزاداری سید و سالار شهیدان در نهاد ریاست‌جمهوری برگزار می‌شود