Source : Webster's Revised Unabridged Dictionary (1913)

Punch \Punch\, n. [Abbrev, fr. punchinello.]
   The buffoon or harlequin of a puppet show.

   {Punch and Judy}, a puppet show in which a comical little
      hunchbacked Punch, with a large nose, engages in
      altercation with his wife Judy.