John roberts vs trump