Who was elected as the new speaker of the US House of Representatives in October 2023?

• A. Kevin McCarthy
• B. Patrick McHenry
• C. Mike Johnson
• D. None of the above