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