For sure, there is a list of warships belonging to the Admiralty of Amsterdam that is dated 1 May 1654. That is the source for the data about Gillis Tijssen Campen's flagship, the Groningen. The Groningen had a crew of 140 men and carried 42 guns, from 1653 to 1654. It also seems that Witte de With's journal would be really useful. I would guess that it would be good for 1652 to 1654, without question. I don't know if all of it still exists, but at least some did in the early 20th Century. It is likely that it still exists, although we would need to as "where?".