¿De verdad habia siete iglesias en Portillo? ¿está documentado? ¿donde estaban situadas las otras cuatro?