Rescue teams find four bodies in gold mine in Riosucio as they press ahead with efforts to find 15 workers.