Shutdown cost US economy $11 billion, incl $3 billion permanent loss – Congressional Budget Office