Three tune collections with a tune named
John Kelly’s

Also known as Bridgie McGrath’s, Captain Jinks, Old John Kelly’s, Tim Griffin’s.