The papers should be in the service record of Captain E.V. Butler. When there is a card in a service record referring to the papers of another person, the documents can be found in the service record of that person unless they have been moved.