kort förut i Gibraltars hamn utfört sin hjeltebragd vid den engelska fartygsolyckan derstädes.