US exporters for "If entered during the period from June 5 to October 15, inclusive, in any year"