AP Top International News at 12:17 p.m. EST

.