A Naval Biographical Dictionary/Jones, Thomas (b)