Despite shutdown, much of U.S. Army Corps still on the job