Number of tanks in us military