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