A Naval Biographical Dictionary/Jenkins, Henry