College football was better for having Mike Leach