Brigadas intentan rescatar a 11 mineros atrapados por una inundación en Colombia.