The first 2024 GOP primary debate in 3 minutes.