Punch and Judy in 19th Century America: A History and Biographical Dictionary