"Cinco de Mayo" is an important Mexican holiday.