Coast Guard bulletin, v. 2, no. 12; June 1943.

Tools