Cathédrale de Porto, Portugal