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