20171125 world.middle-east: Attack on mosque in Egypt's Sinai kills at least 235; world leaders condemn the attack