Vallejo officials informed Mare Island Dry Dock will close

Vallejo city officials say they've been informed that the Mare Island Dry Dock will be closing permanently and laying off all workers.