Is corn from the corn belt exported?