La guerra de los treinta años - la marina de la república y la primera guerra holandesa - Tanner, J. R.