Sipke Fockes at the Three Days Battle

What we think we know is that Sipke Fockes commanded some 28 gun Amsterdam Directors' ship at the Three Days Battle other than the Sint Maria, which he had commanded since about March 1652. The Sint Maria fought in the Three Days Battle and was damaged severely. The ship survived and was listed as being repaired, after the battle. We also believe that we know that Sipke Fockes was killed in the battle and his ship was captured by the English and taken into Portsmouth. What we don't know, for sure, is the name of Sipke Fockes' ship and also who commanded the Sint Maria in the battle. The Sint Maria might have been discarded after March 1653, as the list of ships to be repaired is the last place that I have seen the Sint Maria mentioned.