Why have we not seen mention of Sipke Fockes' ship at the Three Days' Battle

I had always assumed that the Groote Sint Lucas mentioned in the Hollandsche Mercurius was a mistake, and that he had commanded the Sint Maria, instead. Sipke Fockes was definitely killed in the Three Days Battle and almost certainly, his ship was captured by the English. His ship carried 28 guns. From documents from March 1653, we know that the Sint Maria was at the Three Days Battle and was damaged, as the documents talk about what needed to be repaired. So was there really a Groote Sint Lucas, and if so, why have we not seen the ship mentioned?