Bonnie Irish Maid, traditional song