A Naval Biographical Dictionary/Hall, Thomas Samuel