It remains unclear if the prosecutors were considering bringing charges against Trump at the time or just against people close to the former president