What would a Republican contested convention ...