Judge warns Trump administration that deporting migrants to Libya would violate court order.