42nd "Rainbow" Infantry Division: a Combat History of World War II.