4 miners killed in the 2nd lethal mining accident in central Colombia this summer