Death penalty case: John Henry Ramirez executed