9th Infantry Division in Morocco after TORCH landings