A Naval Biographical Dictionary/Jones, Theobald