A mariachi player performs on Cinco de Mayo.