New Speaker of the House. R. Mike Johnson sworn in