A spillway of Lake Hennessey