How much gas military tanks does the us have