Alton Coleman was executed, and I think that the wardens did it.

Wardens do not personally execute criminals but they give the direction to another person. The name of the person who actually performs an execution is almost never published. Why do you ask?