May 5 is widely recognized as Cinco de Mayo. As Tom Emery writes in today’s opinion page, it marks a Mexican victory at the ...