انتشار نام فرماندهان ارشد کشته‌شده پس از مرگ خامنه‌ای