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