If Donald Trump is the Republican Nominee for President in 2024, will his name appear on the ballot in the State of Colorado on Election Day?