Pence’s former chief of staff, Marc Short, was contacted about providing information via a known source