How many Americans served in the military in World War II