Marc Short, Pence’s former chief of staff, has been contacted about providing information by known source