Marine engineering. Changes in Manual of engineering instructions, no. 31; Nov. 17, 1925.

Tools