Colombia’s military killed 15 guerrillas