A Naval Biographical Dictionary/No. 9. – Battle off Cadiz