20151023 world.rest-of-world: Roadside bomb kills Egyptian police officer in Sinai