Special counsel Robert Mueller found evidence that Michael Cohen violated the Foreign Agents Registration Act, but ultimately decided against pursuing charges against Donald Trump’s former personal lawyer, according to newly released court documents.

Mueller did charge former Trump campaign manager Paul Manafort and his associates Rick Gates and Sam Patten for failing to register as a representative of a foreign government. But documents released Tuesday by the U.S. District Court for the Southern District of New York show Mueller had evidence.