Thoughts on the first 2024 Republican primary debate