The defeat of the Spanish at Gibraltar by a Dutch fleet under the command of Admiral Jacob van Heems (1639)