2016 was a record year for U.S. pork exports