האם מותר להעניק שם לתינוק (ראשון) על שם צעיר שנהרג בפיגוע?

כתב בספר קוראי שמו: לרוב הדעות לא יקרא אדם לבנו או לבתו על שם איש או אשה שמתו בקיצור ימים, אלא יקרא בשם שונה מעט או בתוספת שם אחר. אך אם נהרג על קידוש השם (בפיגוע, שואת אירופה וכדומה) נחלקו הפוסקים: בשו"ת מחנה חיים ובשו"ת שאלת יצחק ובספר אוצר הברית בשם הגרז"נ גולדברג והגר"ש דבליצקי כתבו שאין להקפיד בדבר ואפשר לקרוא באותו שם בדיוק, וכן מובא בשם מו"ר הרב צבי יהודה הכהן קוק. אך מנגד כתבו הגר"מ אליהו הגר"א נבנצל והגר"י נובירט שגם כשנהרג על קידוש השם יש לקרוא בשם מעט שונה או בתוספת שם אחר. הרב רואי מרגלית.