How many main battle tanks does the us have