Mare Island. Estimate of [deficiency] appropriation for navy-yard, Mare Island, for repairing buildings.