Did the ships bound for Brazil in early July 1652 join the fleet?

Page 282 of The First Dutch War, Vol.V, mentions at least two ships bound for Brazil that seem to have been ordered to join the Dutch fleet, instead. One was the Witte Eenhoorn, lying in the Delft harbour. The other ship was the Gecroonde Haes, commanded by Captain Ezechiel or Ezekiel. Did these ships actually join the fleet, or not?