۸۰ خبرنگار خارجی مراسم تشییع رهبر شهید را پوشش می‌دهند