former VP Mike Pence had classified docs