Manual. Changes in Manual of Bureau of Yards and Docks [Navy Department, pertaining to public works and public utilities of Navy. 1923], no. 5; Mar. 28, 1038.

Tools