engelskt skepp i Gibraltars hamn.