History of the Twelfth Infantry Regiment in World War II