The Dutch navy of the seventeenth and eighteenth centuries - Bruijn, Jaap R. 1938-2022 (Univ. of South Carolina Press, 1993)