Project 2025 leader was hoping for Vance VP pick — and got his way