Lienzo de la antigua muralla, MANSILLA DE LAS MULAS