Interview with Tom Thomas about miners' entertainment and broadside ballads