Historia y desarrollo de túneles de drenaje para el lago cratérico del Mt. Kelud en Indonesia | Synapse