It may not be an official U.S. holiday, but many local businesses in Cedar Rapids are planning specials and special events to mark Cinco de Mayo. Cinco de Mayo, or the fifth of May, celebrates the Mexican Army’s 1862 victory…