After former President Donald Trump formally launched his 2024 presidential run in November, a favorite parlor game of the chattering class has been to guess the identity of his first formally announced challenger for the Republican nomination. This week answered…