Design manager Kari Johnson shares some fun facts about Cinco de Mayo, celebrated on May 5.