If they wanted to run against Trump