War-ships. Information relating to construction and repair of various vessels of Navy.