A Naval Biographical Dictionary/Robins, Henry Jenkins