State of Alabama Executes Derrick Mason Even Though Sentencing Judge Admits His Death Sentence Was a Mistake