GLOUCESTERSHIRE CRICKET SADDENED BY THE DEATH OF FORMER CAPTAIN TOM PUGH