Polk's Vallejo, California, City Directory, 1937
Polk's Vallejo, California, City Directory, 1937.