20160703 world.middle-east: Holocaust survivor; Nobel laureate Elie Wiesel dies at 87