20180707 world.us: US orders non-emergency personnel to leave crisis-hit Nicaragua