I thought the export ban was lifted by this Administration. Trump publicly announced it months ago.