“Beati Martiri”: festa patronale ad Otranto