Pórtico a todo su alrededor de la iglesia, dedicada a Santa Marina, virgen y mártir