Puerta del Castillo o de Santiago, MANSILLA DE LAS MULAS