Have U.S. Exports Been Larger than Reported?