US Vice-president Mike Pence