May 5 marks the anniversary of the Battle of Puebla.