Marine engineering. Changes in Manual of engineering instructions, no. 10; Oct. 1, 1922.

Tools