US exporters for "If entered in the period from June 1 to October 31, inclusive, in any year"