My best information on the ships in Brazil in 1651-1652

Carl Stapel says that there were 12 Dutch warships in Brazil from 1651 to 1652, but my best information says that there were ten. Until I have access to other information which explains the 12 figure, the ten still forms the basis for my list:

Ships in Brazil:

2 ships of the Admiralty of Rotterdam
4 ships of the Admiralty of Amsterdam
1 ship of the Admiralty of Zeeland
1 ship of the Admiralty of the Noorderkwartier
2 ships of the Admiralty of Friesland