World War 2: US invasion of North Africa begins