How many us tanks were in the battle of the bulge