A Naval Biographical Dictionary/Nicolas, John Toup