President Trump’s exit from the Kentucky Derby.