רבי ישמעאל בן אלישע כהן גדול (מעשרה הרוגי מלכות) · ציוני צדיקים