Text this: Estudio de mitigación del área de inundación del canal el progreso en el municipio de Puerto Boyacá, en el departamento de Boyacá.