Should the U.S. punish China for currency manipulation?