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