Barrage de Rio Tinto, déversoir numéro 7