مردم تهران در عزای رئیس‌جمهور شهید