Admiralty ships of Rotterdam in May 1653

Witte de With's journal (E8812) has a list of admiralty ships belonging to Rotterdam, that were with the fleet in May 1653:

Ship             Guns  Crew  Commander
Utrecht          22     98   Commandeur Haexwant
Overissel        24     98   Capt. Vijgh
Rotterdam        32    120   Lt-Commandeur Pieter Verhaven (son of Capt. Verhaeff)
Gorinchem        30    116   Capt. WIllem Arensz Warmont
Dolphijn         32    116   Capt. Kerckhoff
(Gelderland)    (22)  (100)  Capt. Aert Jansz van Nes (de Jonge Boer Jaep)
Brederode        56    268   (Egbert Meeuwssen Kortenaer)

Sources:

1. James C. Bender, unpublished manuscript "Dutch Ships 1600-1700", 2005
2. Witte de With, journals from 1652 to 1658, Archive E8812 from the Riksarkivet, Stockholm