It was not clear what those documents were, or in what context the president’s name was raised.