ماجرای انتخاب اسم هارداسان برای کتاب شهید جمهور چه بود؟