Americans might love Cinco de Mayo -- but few know what they’re celebrating