Operation Torch, 8-9 November 1942