Colombia’s Cerrejon coal railway bombed; exports unaffected