Restoration coming for Cesar Chavez mural