A Naval Biographical Dictionary/Ball, Thomas