A Naval Biographical Dictionary/Thomas, George (a)