US budget deficit at $67B in October