Armada! : the planning, the battle, and after