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