Coast Guard bulletin, v. 2, no. 13; July 1943.

Tools