US October retail sales spike as holiday mood sidelines inflationary woes