Coast Guard bulletin, v. 1, no. 13; July 1940.

Tools