I've heard from older residents and read on here of a spillway that once was at Lake Hefner. Where was it, exactly?