Manual of engineering instructions (Navy Dept. Bureau of Engineering, 2012)