US budget deficit hits record $3 trillion through 11 months