U.S. sets Nov. 17 date for Gulf of Mexico oil and gas auction