Does anyone know how many US troops were in the European Theater at any given time during the war? Is there a crediable sourse for that number...