US exporters for "If entered during the period from June 1 to November 30, inclusive, in any year"