Federal judge orders Trump administration to admit 12,000 refugees blocked under recent executive order.