A history of naval tactics from 1530 to 1930; the evolution of tactical maxims