kort förut i Gibraltars hamn utfört sin hjältebragd vid den engelska fartygsolyckan därstädes.