Il monte Aga e la diga del lago del diavolo