Army regulations. 90-150. Coast Artillery Corps: Army mine planters, general; Oct. 28, 1935.