His decision will officially shrink House Speaker Mike Johnson's already razor-thin GOP majority in the House.