Sea battles and naval heroes in the 17th-century Dutch Republic