Mare Island Dry Dock LLC to close, hobbling Vallejo's maritime industry yet again