Mike Johnson has officially been elected Speaker