Mitch was re-elected House GOP leader in a landslide vote.