Trump administration sets Gulf of Mexico drilling auction for Nov. 18