“GOP presidential primary cycle is over“ https://www.washingtontimes.com/news/2023/sep/28/gop-presidential-primary-cycle-is-over/