Antidumping, Retaliation Threats, and Export Prices