I was wondering of one of you wonderfully clever people, Catholic or no, could answer this simple question for me: Who is the patron saint of hangmen (or possibly executioners) if there is one.

Thank you