International Edition 12:30:00 GMT

Your browser doesn’t support HTML5
Thirty-minutes of in-depth world news, plus highlights of the day's business and sports. Updated 10 times a day.