CBO says economy lost $11 billion during shutdown