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