We are on this cruise as well.
Keep in mind, Cinco de Mayo is not really celebrated through most of Mexico. To make a long story short, while it is a holiday in Mexico to celebrate the outnumbered Mexican military defeating French invaders, a dictator made the day about himself and his power, which ultimately ruined the holiday. Cinco de Mayo is now little more than a marketing ploy by beer companies in the US.