American pork exports just hit an all-time high