The martyrdom of Eneas Penny.