A Naval Biographical Dictionary/Spain, David