If not Kevin McCarthy for US House Speaker, then who else?