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