20170710 world.rest-of-world: Fresh quake rocks Philippine island