Présidentielle aux États-Unis : Mike Pence officiellement candidat à l'investiture du Parti républicain