20181224 world.rest-of-world: Rescuers dig through rubble for survivors after Indonesian tsunami kills 280