Ex-US VP Pence receives heart pacemaker