in the Vallejo, California Historical District