20170501 world.us: Deal reached on US spending; shutdown likely averted