. . . . "City manager of San Jose, California" .