20180706 world.rest-of-world: Kim Dotcom loses plea on US extradition