سخنگوی دولت: بیش از ۱۵ میلیون نفر در مراسم تشییع رهبر شهید انقلاب شرکت کرده‌اند