'What's that?': Army Corps of Engineers repair Cherry Creek Spillway