UK civilian beats 2,000 rivals in US military cyber-challenge