Beträffande derester Portugal , derdödsstraffet