OK, let’s be honest. Cinco de Mayo is much more of a Mexican-American holiday than it is…