President Trump yesterday issued a Proclamation (full text) (press release) (White House background document) setting out a more targeted version of his travel ban.  The travel restrictions in the prior ban expired yesterday, while the refugee restrictions in the prior ban extend to Oct. 24.  The new ban focuses around a