Barragem do Monte da Rocha - Descarregador de cheias