District craft. Bureau of Ships manual: chap. 97, District craft; Sept. 1, 1946.

Tools