Another title for 'The World Turned Upside Down' is 'When the King Enjoys His Own Again.' Maybe that's what they were playing, Jack.
When I searched for a MIDI of the White Cockade, I found it on a web site which listed it under jigs. Maybe there's more than one tune called that.