The tank killers: a history of america's world war ii tank destroyer force