spanish portal from the church of san miguel