The tragedy of tragedies, or, The life and death of Tom Thumb, the great!