See this story for details about how Mr. Trump’s first travel ban affected refugees.