A Naval Biographical Dictionary/Jenner, Robert