20180618 world.rest-of-world: Kenya says five police officers killed in explosive device attack