Miraflores Spillway holding back the Miraflores Lake.