I haven't run across an old song about Los San Patricios, but I would imagine that there are several Mexican songs that were inspired by them. Any comments pointing to possible songs would be appreciated.
I tried to find the Cris Pace song posted by Mcgrath in the DT since it has the wiggly mark, but no luck with any of the words of the title.