International students may need to leave US if universities switch to online

See also https://news.ycombinator.com/item?id=23752321#23752514 for this discussion.