War-ships. Estimate of cost of repairs of certain vessels of Navy.