US October budget deficit hits $100.5 billion