Marine engineering. Changes in Manual of engineering instructions, no. 12; Feb. 19, 1923.

Tools