to dump (selling abroad more cheaply than cost price at home)