20180703 world.rest-of-world: Indonesia ends search for dozens of victims of ferry sinking