20130510 world.rest-of-world: 30 policemen killed in ambush in northern Nigeria