Learning former #Milpitas Mayor Ben Gross was a 'Municipal' equivalent to #MLK! #blackhistorymonth