What may have been Johannes Michielszoon's ship in 1652 to 1653

Ron van Maanen has information about a storeship that was hired by the Admiralty of Zeeland and was in service in 1653. This was a transport that was used as a victualler and ammunition ship. The ship was the Walvisch (20 guns). The Walvisch was hired from Daniel Thijssen Gillissen. If we stretch things a bit, we can imagine that this might have been the ship commanded by Johannes Michielszoon in 1652 and up to the Three Days Battle in 1653. The ship survived the battle but Johannes Michielszoon was killed. His ship had a crew of 100 men, according to the pamphlet of Hendrick de Raedt.