Mike Johnson becomes House speaker

This post was originally published on Washington Post.