has estimated the world and evil men a world total of over 10,000 gross tons or less. The police force was detailed