Coast Guard bulletin, v. 1, no. 35; May 1942.

Tools