4th Judicial District announces El Paso County Court vacancy - May 2024