જેમની યાદમાં ત્યાં ૧૩મી જુલાઈએ શહીદદિન મનાવવામાં આવે છે.