Cinco de Mayo: Thousands celebrate fiesta in Old Town

Published: 6:14 PM PDT May 4, 2018
Updated: 7:00 PM PDT May 4, 2018