Santo Ildefonso Santo Ildefonso church on a walk from the Trindade to the Batalha. © Rodrigo Cabral Porto 2017