Tables of organization. 18-25. Tank destroyer battalion: June 8, 1942.