Provable Robust Overfitting Mitigation in Wasserstein Distributionally Robust Optimization