Behind the scenes, a top department official pressed employees to gather a list of activists and investigate them, people familiar with the matter said.

Mohsen Mahdawi was detained as part of a crackdown by the Trump administration on international students. A federal judge ...