Thank you, the corresponding Washington Post article (which I have access to) does not seem to have that information.