Waduk Mrica: Berakhirnya Riwayat Gunung Tampomas