Fue capturado por los ingleses y reutilizado por la Royal Navy bajo el nombre de HMS "Ildefonso".