Santos Honorio, Eutichio, Esteban, patronos de Jerez de la Frontera. - ROA, Martín de