ساعت ۱۷، زمان پایان مراسم تشییع رهبر شهید در تهران