Army Corps of Engineers pause $11 billion in projects — due to shutdown.