combate del cabo de San Vicente, acaecido en 1797.