Muros de las murallas, MANSILLA DE LAS MULAS