It was featured on Fox News several newscasts in a row when it was current. But it wasn't mentioned on CNN or MSNBC during the time when I checked in there.
That news was first mentioned at
- Fox News Channel 13:31 UTC/GMT
compared to some of those who reported before (all times UTC/GMT):
- Voice of America News - Mideast 13:20
- WTVR CBS 6, Virginia 13:04
- Reuters Africa 13:02
- CNN 12:57
- The Washington Post 12:53
- Toronto Sun 12:49
- Mail & Guardian Online 12:44
- BBC - News Front Page 12:42
- The Wall Street Journal 12:38
- Tennessean.com - Growth & Development 12:34
- The Age 12:30
- YnetNews 12:29
- and a few more (mentioned only media with news in English).
The Washington Times, btw, didn't have it before 14:20 ... as "World" news.