The death penalty in Portugal